电子政务安全中的三网隔离技术及应用

本文介绍了电子政务中各种业务的安全性要求及相应的安全隔离技术,并结合宁波市电子政务的建设,描述了三网隔离技术的应用。     

连拱坝交叉模态综合法的完备性

对笔者提出的连拱坝动力特性计算的子结构交叉综合法的正确性进行了证明．利用证明子结构子模态向量组成的线性空间是完备的基础上，说明当交叉子结构中所取的截尾模态趋向于完备时，其结果等同于整体计算，并表明近似计算将收敛于正确的结果．     

试验模态分析技术的进展

本文对试验模态分析技术的进展,特别是80年代发展起来的有关新技术进行了综合评述。主要内容有:试验激振技术、频响函数估计方法、试验测试设备、以及各种模态识别方法,包括单输入/多输出和多输入/多输出识别的时域和频域方法。文中强调了试验模态分析技术各环节之间的相互联系、相互影响,对于80年代已成为模态识别主流的多输入/多输出各种方法(包括作者发展的几种方法),用统一方法作了描述。最后提出了若干值得进一步研究的方向。     

大型立式玻璃磨边机整机动态特性分析

大型立式玻璃磨边机的动态特性影响玻璃磨边质量和磨边效率。利用Solidworks软件建立某大型立式玻璃磨边机三维实体模型,导入ANSYS软件中,对整机结构有限元动力学分析,得到该磨边机前六阶模态参数,分析了各阶振型对磨边机动态特性的影响,为磨边机结构的改进设计提供了理论依据。     

An institution theory of formal meta-modelling in graphically extended BNF

Meta-modelling plays an important role in model driven software development.In this paper,a graphic extension of BNF (GEBNF) is proposed to define the abstract syntax of graphic modelling languages.Fro...     

Adaptive fuzzy decentralized control for nonlinear large-scale systems based on high-gain observer

An adaptive fuzzy decentralized backstepping output-feedback control approach is proposed for a class of nonlinear large-scale systems with completely unknown functions,the interconnections mismatched in control inputs,and without the measurements of the states.Fuzzy logic systems are employed to approximate the unknown nonlinear functions,and an adaptive high-gain observer is developed to estimate the unmeasured states.Using the designed high-gain observer,and combining the fuzzy adaptive control theory with backstepping approach,an adaptive fuzzy decentralized backstepping output-feedback control scheme is developed.It is proved that the proposed control approach can guarantee that all the signals of the closed-loop system are semi-globally uniformly ultimately bounded(SUUB),and that the observer errors and the tracking errors converge to a small neighborhood of the origin by appropriate choice of the design parameters.Finally,a simulation example is provided to show the eectiveness of the proposed approach.     

编程思维训练通用模型研究与实现

程序设计类课程是培养学生逻辑编程能力的基本课程之一,但目前普遍反映出学生对此类课程的学习兴趣不浓,对程序设计与实现的逻辑思维混乱不清,学习效果较差。如何脱离编程语言本身,运用模拟现实生活的思维训练模型来形象地展示编程的原理与逻辑流程,以提高学生对程序设计的逻辑思维能力和学习效果是本文研究的重点。     

基于智能终端的移动MIS基础平台设计与研究

在综述目前广泛研究的智能终端模式的基础上,提出了一种新的基于智能终端和面向服务体系结构的移动MIS基础平台。该平台基于智能客户端技术和元数据业务模型,可以实现移动公办与后台管理信息系统的结合。详细阐述了移动MIS基础平台的设计、实现及其优点。     

Analysis of oceanaut operating performance using an integrated Bayesian network aided by the fuzzy logic theory

Because the oceanaut plays a significant role in safety and capability during manned deep-diving scientific tasks, preventing oceanaut performance decline is of paramount importance. However, the factors responsible for oceanaut performance are almost entirely unexplored. To address the preceding issues, a quantitative method of fuzzy integrated Bayesian network (FIBN) was modeled within the limits of oceanaut operating procedures. To quantify the probabilities of the influencing factors, the probability of each node in the FIBN was calculated using integrated expert judgement, fuzzy logic theory, and Bayesian network. By considering a total of 28 factors related to oceanaut performance in the “Jiaolong” manned submersible, this study found that difficult sampling, long sampling times, cabin equipment failure, oceanaut physical decline, and declining decision-making ability are important factors that affect oceanaut performance. The FIBN proposed in our study fused the qualitative and quantitative methods and can be developed into a versatile tool for analysis of comprehensive systems that contain both static and dynamic factors.Relevance to industryThe results provide a powerful basis for the design of manned submersible and assignment of tasks to oceanauts, while the fuzzy integrated Bayesian network (FIBN) method proposed can be effectively applied to various quantitative assessment fields which direct researchers to deal with analysis problems of complex systems.     

CLP(ℜ) and some electrical engineering problems

The Constraint Logic Programming Scheme defines a class of languages designed for programming with constraints using a logic programming approach. These languages are soundly based on a unified framework of formal semantics. In particular, as an instance of this scheme with real arithmetic constraints, the CLP() language facilitates and encourages a concise and declarative style of programming for problems involving a mix of numeric and non-numeric computation.In this paper we illustrate the practical applicability of CLP() with examples of programs to solve electrical engineering problems. This field is particularly rich in problems that are complex and largely numeric, enabling us to demonstrate a number of the unique features of CLP(). A detailed look at some of the more important programming techniques highlights the ability of CLP() to support well-known, powerful techniques from constraint programming. Our thesis is that CLP() is an embodiment of these techniques in a language that is more general, elegant and versatile than the earlier languages, and yet is practical.An earlier version of this paper appeared in the proceedings of the 4th International Conference on Logic Programming, Melbourne, May 1987. Much of this work was carried out while the authors were at Monash University, Melbourne, Australia.